And he called the porters; and they told [it] to the king's house within.